Essential arities of term operations in finite algebras
نویسنده
چکیده
Given an algebra A, p.(A) denotes the number of distinct n-ary term operations t :A" ~ A of A which depend on all n variables. We solve some problems of Berman, Gr~itzer and Kisielewicz concerning the sequence (po(A),pl(A) ..... p.(A) .... ) in case [A I is finite. Our methods yield new results about totally symmetric functions on a finite set.
منابع مشابه
On algebras with many symmetric operations
We show that, for each finite algebra A, either it has symmetric term operations of all arities or else some finite algebra in the variety generated by A has two automorphisms without a common fixed point. We also show this two-automorphism condition cannot be replaced by a single fixed-pointfree automorphism.
متن کاملClones on infinite sets
die die Permutationen von X enthalten. Preface Let X be a set. A fundamental problem of the field of universal algebra is Describe the set of all universal algebras on X. Consider a universal algebra A on X. Many properties of A , such as its congruences, its subalgebras, and its automorphisms, do not depend on the fundamental operations of A , but on its term operations, that is, the operation...
متن کاملOn the Number of Finite Algebraic Structures
We prove that every clone of operations on a finite set A, if it contains a Malcev operation, is finitely related – i.e., identical with the clone of all operations respecting R for some finitary relation R over A. It follows that for a fixed finite set A, the set of all such Malcev clones is countable. This completes the solution of a problem that was first formulated in 1980, or earlier: how ...
متن کاملSegal Condition Meets Computational Effects
Every finitary monad T on the category of sets is described by an algebraic theory whose n-ary operations are the elements of the free algebra Tn generated by n letters. This canonical presentation of the monad (called its Lawvere theory) offers a precious guideline in the search for an intuitive presentation of the monad by generators and relations. Hence, much work has been devoted to extend ...
متن کاملMonads with arities and their associated theories
After a review of the concept of ‘‘monad with arities’’ we show that the category of algebras for such a monad has a canonical dense generator. This is used to extend the correspondence between finitary monads on sets and Lawvere’s algebraic theories to a general correspondence between monads and theories for a given category with arities. As an application we determine arities for the free gro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Discrete Mathematics
دوره 149 شماره
صفحات -
تاریخ انتشار 1996